Eingebettete Systeme – Entwurf, Modellierung Und Synthese by Oliver Bringmann, Walter Lange, and Martin Bogdan . De Gruyter Oldenbourg, 2018.